<?php

    function killSession(){

	  $_SESSION = array();
	  session_destroy();
     }//killSession

?>